Programming domain

Results: 506



#Item
311Formal methods / Formal specification / Java virtual machine / Kernel / Programming language / Specification / Computer security / Domain / Abstraction / Computing / Software / Cross-platform software

An Avenue for High Confidence Applications in the 21st Century Timothy W. Kremann William B. Martin Frank Seaton Taylor ftimk, bradm, [removed]

Add to Reading List

Source URL: csrc.nist.gov

Language: English - Date: 1999-11-05 00:00:00
312Computing / Software engineering / Attribute grammar / Compiler construction / Parsing / HTML element / Column / Attribute domain / Data management / HTML / Programming paradigms / Database theory

U.S. Government Standard General Ledger Summary of Changes Section Item Changed

Add to Reading List

Source URL: www.fms.treas.gov

Language: English - Date: 2014-09-11 14:01:22
313Computing / Software engineering / Attribute grammar / Compiler construction / Parsing / HTML element / Column / Attribute domain / Data management / HTML / Programming paradigms / Database theory

U.S. Government Standard General Ledger Summary of Changes Section Item Changed

Add to Reading List

Source URL: fms.treas.gov

Language: English - Date: 2014-09-11 14:01:22
314Variables / Food and Drug Administration / SDTM / Data types / C++ / SQL / C++ classes / ALGOL 68 / Computing / Software engineering / Programming language theory

Abstract   3.  Color-­‐Coded  Domain  Table*   Project:  How  to  Design  a  Custom  SDTM  Domain  for  Nonclinical  Data  

Add to Reading List

Source URL: www.phusewiki.org

Language: English - Date: 2014-07-15 10:27:15
315Planning Domain Definition Language / Humanoid robot / Programming by demonstration / Cognitive robotics / Motion planning / Object Action Complex / Causality / Robotics / Automated planning and scheduling / Robot

From Low-Level Trajectory Demonstrations to Symbolic Actions for Planning Nichola Abdo and Henrik Kretzschmar and Cyrill Stachniss University of Freiburg Department of Computer Science Georges-K¨ohler-Allee[removed]Fr

Add to Reading List

Source URL: first-mm.informatik.uni-freiburg.de

Language: English - Date: 2012-06-19 08:38:20
316Network architecture / Internet protocols / Ajax / JavaScript / JSON / Application programming interface / Hypertext Transfer Protocol / Domain name / Representational state transfer / Computing / Domain name system / Internet

DNS Made Easy REST API Documentation v1.2 Overview Making a request REST requests can be made via HTTPS or HTTP by using the headers, authentication, data types, and methods specified below. The current endpoint for the

Add to Reading List

Source URL: www.dnsmadeeasy.com

Language: English - Date: 2013-10-10 14:17:16
317Planning Domain Definition Language / Humanoid robot / Programming by demonstration / Cognitive robotics / Motion planning / Object Action Complex / Causality / Robotics / Automated planning and scheduling / Robot

From Low-Level Trajectory Demonstrations to Symbolic Actions for Planning Nichola Abdo and Henrik Kretzschmar and Cyrill Stachniss University of Freiburg Department of Computer Science Georges-K¨ohler-Allee[removed]Fr

Add to Reading List

Source URL: www.first-mm.eu

Language: English - Date: 2012-06-19 08:38:20
318Computer programming / Programming paradigms / Hardware description languages / Data types / Actor model / Concurrent computing / SystemC / Object-oriented design / Abstraction / Software engineering / Computing / Object-oriented programming

Actor-Oriented Design: A focus on domain-specific languages for embedded systems Edward A. Lee Professor, UC Berkeley

Add to Reading List

Source URL: ptolemy.eecs.berkeley.edu

Language: English - Date: 2004-06-28 14:01:02
319PostScript / Public domain software / Computer programming / Programming language theory / Vector graphics markup languages / Computing / MetaPost

This graph was drawn with Finomaton: 1, 2, 3 a b

Add to Reading List

Source URL: ftp.oleane.net

Language: English - Date: 2007-06-21 09:00:00
320Computer programming / Donald Knuth / Vector graphics markup languages / MetaPost / PostScript / Public domain software / Metafont / Computer font / TeX / Computing / Digital typography / Software

METAPOST and patterns Piotr Bolek ul. Szkolna 15, [removed]Pomiech´ owek, Poland Phone: (48) 22–[removed]removed]

Add to Reading List

Source URL: tug.org.

Language: English - Date: 1998-12-17 16:08:22
UPDATE